- доказуемое утверждение
- provable statement
Русско-английский словарь по электронике. 2009.
доказуемое утверждение
Look at other dictionaries:
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
Кризис математических основ — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
ФОРМАЛЬНАЯ ЭТИКА — раздел (аспект) этики, в котором исследуются морально правовые (или просто моральные) формы поведения (абстрагированные от его нравственно правового содержания) с целью нахождения формальных критериев правильности поведения. (Термин право… … Современный философский словарь
ПОСТУЛАТ — (от лат. postulatum требование), положение (суждение, утверждение), принимаемое в рамках к. л. науч. теории за истинное в силу очевидности и поэтому играющее в данной теории роль аксиомы (наряду с аксиомами логики). Таковы, напр., галиле… … Философская энциклопедия
постулат — а; м. [лат. postulatum] Книжн. Исходное положение, принимаемое без доказательств. Постулаты Эвклидовой геометрии. Система физических постулатов. Исходить из постулата об относительности истины. * * * постулат (от лат. postulatum требование),… … Энциклопедический словарь
Логический закон — общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые… … Большая советская энциклопедия
ПОСТУЛАТ — (от лат. postulatum требование), 1) утверждение (суждение), принимаемое в рамках к. л. науч. теории за истинное, хотя и не доказуемое её средствами, и поэтому играющее в ней роль аксиомы. 2) Общее наименование для аксиом и правил вывода к. л.… … Естествознание. Энциклопедический словарь
ВАРЛААМ КАЛАБРИЙСКИЙ — (мирское имя Бернардо Массари) (ок. 1290, Семинара, Калабрия 1348, Авиньон?), визант. писатель, философ и богослов, еп. Джераче. Воспитывался в правосл. вере, хотя и в лат. окружении, посещал лат. школу (Калабрия с VIII в. была номинально… … Православная энциклопедия
